program derivation
Automatic programming
Hoare logic
program refinement
Design by contract
Program synthesis
Proof-carrying code
/suto3/google.iconprogram derivation
/suto3/Google画像検索.iconprogram derivation
/suto3/Google定義検索.icon program derivation
/suto3/wikipedia.iconprogram derivation
/suto3/weblio.icon program derivation
/suto3/kotobank.icon program derivation
/suto3/jisho.icon program derivation